Typecheck - UMDCTF 2024